/* global user_pref */
user_pref('network.dnsCacheExpiration', 0);
user_pref('network.dnsCacheExpirationGracePeriod', 0);
user_pref('network.websocket.delay-failed-reconnects', false);
user_pref('network.websocket.max-connections', 10000);
